/*
 * MapFilenameFilter.java
 *
 * @author Michael Hansen
 * @author Lukas Thuernagel
 * @author Soeren Warszus
 */

package risk.options;
import java.io.*;
/** 
 * MapFilenameFilter
 * Klasse zum Filtern der Dateien aus einem
 * Verzeichnis mit der Endung
 *
 */

public class MapFilenameFilter implements FilenameFilter{
    /**
     * Filterkriterium, nach dem die Dateien ausgewählt werden
     */
    private final String fileFormat = ".map";

    public MapFilenameFilter() {
    }
    
    public boolean accept(File dir, String name){
        return name.toLowerCase().endsWith(this.fileFormat);
    }
}
